BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

Source URL: www.brics.dk

• Logic in computer science
• Process calculi
• Sheaf theory
• Π-calculus
• Programming language semantics
• Bisimulation
• Presheaf
• Coinduction
• Process calculus
• Mathematics
• Theoretical computer science
• Applied mathematics

Call for a New Science and Technology Basic Plan to Create Innovation (Overview)

Source URL: www.keidanren.or.jp

BRICS Basic Research in Computer Science BRICS RSCrazzolara & Winskel: Language, Semantics, and Methods for Cryptographic Protocols Language, Semantics, and Methods for

Source URL: www.brics.dk

BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSBruni et al.: Petri Nets and the Collective Token Philosophy A Comparison of Petri Net Semantics under

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSAceto et al.: Nested Semantics over Finite Trees are Equationally Hard Nested Semantics over Finite Trees are

Source URL: www.brics.dk

BP1.93 Basic Physics in the Levitated Dipole Experiment J. Kesner, L. Bromberg Plasma Science and Fusion Center, MIT Cambridge, Ma. USA D.T. Garnier and M.E. Mauel

Source URL: www.psfc.mit.edu

BRICS Basic Research in Computer Science BRICS RS-00-9 U. Kohlenbach: Effective Uniform Bounds on the Krasnoselski-Mann Iteration

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: A Note on Spector’s Quantifier-Free Rule of Extensionality A Note on Spector’s Quantifier-Free Rule of

Source URL: www.brics.dk

BRICS DS-01-1 S. Dziembowski: Multiparty Computations — Information-Theoretically Secure Against an Adaptive Adversary BRICS Basic Research in Computer Science

Source URL: www.brics.dk